Inductive situation calculus
نویسندگان
چکیده
منابع مشابه
Inductive Situation Calculus
Temporal reasoning has always been a major test case for knowledge representation formalisms. In this paper, we develop an inductive variant of the situation calculus in ID-logic, classical logic extended with Inductive Definitions. This logic has been proposed recently and is an extension of classical logic. It allows for a uniform representation of various forms of definitions, including mono...
متن کاملInductive Definability and the Situation Calculus
We explore the situation calculus within the framework of inductive deenability. A consequence of this view of the situation calculus is to establish direct connections with diierent variants of the-First we show that the induction principle on situations Reiter, 1993] is implied by an inductive deenition of the set of situations. Then we consider the frame problem from the point of view of ind...
متن کاملSituation Calculus
The situation calculus is a logical language for representing changes. It was first introduced by McCarthy in 1963,1 and described in further details by McCarthy and Hayes [29] in 1969. The basic concepts in the situation calculus are situations, actions and fluents. Briefly, actions are what make the dynamic world change from one situation to another when performed by agents. Fluents are situa...
متن کاملA Hierarchical Situation Calculus
A situation calculus is presented that provides a solution to the frame problem for hierarchical situations, that is, situations that have a modular structure in which parts of the situation behave in a relatively independent manner. This situation calculus is given in a relational, functional, and modal logic form. Each form permits both a single level hierarchy or a multiple level hierarchy, ...
متن کاملReconciling Situation Calculus and Fluent Calculus
The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts. But until now there is no formal relation between the two calculi that would allow to formally analyze the relationship between the two approaches as well as between the programming languages based on them, Golog and FLUX. Furthermore, such a formal relation would allow to combine Golog and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2007
ISSN: 0004-3702
DOI: 10.1016/j.artint.2007.02.002